Description logic - PDFSEARCH.IO - Document Search Engine

Description logic
Results: 846

#	Item
41	ALGORITHMS FOR SEMI-AUTOMATIC WEB SERVICE COMPOSITION: DATA MEDIATION AND SERVICE SUGGESTION by RUI WANG (Under the Direction of Eileen T. Kraemer and John A. Miller) ABSTRACT Add to Reading List Source URL: mango.ctegd.uga.edu Language: English - Date: 2013-11-20 03:56:57 Computing Web standards World Wide Web Web services Semantic Web Algorithm Mathematical logic Theoretical computer science Mediation Web Services Description Language SAWSDL Computational linguistics
42	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
43	Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family Diego Calvanese Faculty of Computer Science Free University of Bozen-Bolzano Piazza Domenicani 3 Add to Reading List Source URL: exmo.inria.fr Language: English - Date: 2008-11-27 08:56:04 Computing Ontology Information science Information Semantic Web Knowledge representation Artificial intelligence Description logic Web Ontology Language Tbox Abox Conjunctive query
44	Predicting Network Attacks Using Ontology-Driven Inference Ahmad Salahi Morteza Ansarinia Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-04-03 20:01:43 Ontology Semantic Web Knowledge representation Information science Cognitive science Computing Knowledge engineering Web Ontology Language Cyc Knowledge representation and reasoning Description logic Frame language
45	Large-scale Interactive Ontology Matching: Algorithms and Implementation Ernesto Jim´enez-Ruiz and Bernardo Cuenca Grau and Yujiao Zhou and Ian Horrocks1 Abstract. In this paper we present the ontology matching system L Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2015-10-05 08:25:51 Ontology Information science Semantic Web Information Knowledge engineering Computing Knowledge representation Upper ontology Web Ontology Language Schema matching Semantic similarity Description logic
46	Automated Benchmarking of Description Logic Reasoners T. Gardiner I. Horrocks Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:07 Ontology Semantic Web Knowledge engineering Information science Knowledge Computing Knowledge representation Semantic reasoner Web Ontology Language Description logic Open Biomedical Ontologies Owl
47	Revised JanuaryMM74C922 • MM74C923 16-Key Encoder • 20-Key Encoder General Description The MM74C922 and MM74C923 CMOS key encoders provide all the necessary logic to fully encode an array of Add to Reading List Source URL: dgouarin.free.fr Language: English - Date: 1999-09-05 14:12:46 Digital electronics Electronic circuits Voltage regulation Linear regulator Schmitt trigger
48	Mathematical Writing by Donald E. Knuth, Tracy Larrabee, and Paul M. Roberts This report is based on a course of the same name given at Stanford University during autumn quarter, 1987. Here’s the catalog description: C Add to Reading List Source URL: www.cadmo.ethz.ch Language: English - Date: 2008-01-23 04:52:01 Mathematics Logic Integer sequences Sequence Modal logic Prime number Abstraction
49	Optimising Ontology Classification Birte Glimm, Ian Horrocks, Boris Motik, and Giorgos Stoilos Oxford University Computing Laboratory, UK Abstract. Ontology classification—the computation of subsumption hierarchies for Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Information science Semantic Web Computing Information Cognitive science Resource Description Framework Web Ontology Language Knowledge representation Description logic Algorithm Ontology
50	OWL Rules: A Proposal and Prototype Implementation Ian Horrocks Peter F. Patel-Schneider Dmitry Tsarkov Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2015-02-05 09:51:07 Semantic Web Logic Computing Information science Knowledge engineering Knowledge representation Technical communication Web Ontology Language Ontology Resource Description Framework Description logic Interpretation